Beauty in the Beast A Functional Semantics for the Awkward Squad Wouter Swierstra Thorsten Altenkirch

Source URL: www.cs.nott.ac.uk

• Abstract data types
• Functional programming
• Procedural programming languages
• Concurrent Haskell
• Data types
• Monad
• C file input/output
• Denotational semantics
• Scheduling
• Software engineering
• Computing
• Computer programming

Codata Thorsten Altenkirch University of Nottingham Codata – p.1/7

Source URL: types2004.lri.fr

Why Dependent Types Matter Thorsten Altenkirch Conor McBride The University of Nottingham

Source URL: www.cs.nott.ac.uk

• Functional languages
• Higher-order functions
• Procedural programming languages
• Functional programming
• Fold
• Recursion
• Structural induction
• ML
• Map
• Software engineering
• Computing
• Computer programming

Generic Programming with Dependent Types Thorsten Altenkirch, Conor McBride and Peter Morris School of Computer Science and Information Technology

Source URL: www.cs.nott.ac.uk

• Type theory
• Functional languages
• Procedural programming languages
• Epigram
• Logic in computer science
• Formal methods
• Generic programming
• Proj construction
• Type system
• Software engineering
• Programming language theory
• Computing

Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology

Source URL: strictlypositive.org

• Logic in computer science
• Type theory
• Entailment
• Metalogic
• Valuation
• Intuitionistic type theory
• Curry–Howard correspondence
• Logic
• Deduction
• Dependently typed programming